The scope of book includes the sharing and interoperability of tools, the alignment of theory and practice, the identification ...
Lire la suiteThis book address the application of formal methods and reasoning techniques to Web service technology, and formal theories ...
Lire la suite